1. ACM SIGMETRICS 2002 : International Conference on Measurement and Modeling of Computer Systems : June 15-19, 2002, Marina Del Rey, California : proceedings
پدیدآورنده : Sponsored by ACM SIGMETRICS
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Evaluation ، Electronic digital computers,Congresses ، Digital computer simulation
رده :
QA
76
.
5
.
I52
2002
2. ACM SIGMETRICS 2003: international conference on measurement and modeling of computer systems, June 10-14, 2003, San Diego, California, USA : proceedings
پدیدآورنده : sponsored by ACM SIGMETRICS
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Evaluation -- Congresses ، Computer networks,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
5
.
I52
2003
3. Benchmarking : computer evaluation and measurement
پدیدآورنده :
موضوع : ، Electronic digital Computers-- Evaluation-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Computer aided verification
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer software- Verification- Congresses,Electronic digital computers- Evaluation- Congresses
5. Computer aided verification : fourth International Workshop, CAV'92, Montreal, Quebec, 1992 : proceedings
پدیدآورنده : G.V. Bochmann, D.K. Probst )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
663
6. Computer aided verification: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Computer software-- Verification,Congresses ، Electronic digital computers-- Evaluation
رده :
QA
76
.
76
.
E93
.
C38
1993
7. Computer aided verification : 3rd international workshop, CAV'91, Alborg, Denmark, 1991 :proceedings
پدیدآورنده : K.G. Larsen, A. Skou, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
575
8. Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings
پدیدآورنده : E. Allen Emerson, A. Prasad Sistla )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1855
9. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings
پدیدآورنده : Ed Brinksma, Kim Guldstrand Larsen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2404
10. Computer aided verification : 5th International Conference, CAV'93 Elounda, Greece, June 28-July 1, 1993 : proceedings
پدیدآورنده : Costas Courcoubetis )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
697
11. Computer aided verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings
پدیدآورنده : Orna Grumberg )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1254
12. Computer aided verification : 6th International Conference, CAV'94Stanford, California, USA, June 21-23, 1994. Proceedings
پدیدآورنده : David L. Dill, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
818
13. Computer-aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999
پدیدآورنده : Nicolas Halbwaches, Doron Peled )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Evaluation -- Congresses ، Computer software,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1633
14. Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings
پدیدآورنده : Alan J. Hu, Moshe Y. Vardi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1427
15. Computer architectures and networks : modelling and evaluation : proceedings of an International Workshop
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Digital computer simulation-- Congresses,، Electronic digital computers-- Evaluation-- Congresses,، Computer networks-- Congresses
رده :
QA
76
.
5
.
C612553
16. Computer performance evaluation : modelling techniques and tools : 9th International Conference, St, Malo, France, June 1997 : proceedings
پدیدآورنده : Raymond Marie...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1245
17. Computer performance evaluation : modelling techniques and tools : 7th International Conference Vienna, Austria, May 3-6, 1994 : proceedings
پدیدآورنده : Gunter Haring, Gabriele Kotsis, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
794
18. Elements of practical performance modeling
پدیدآورنده : / Edward A. MacNair, Charles H. Sauer
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Digital computer simulation - Congresses,Electronic digital computers - Evaluation - Congresses
رده :
QA76
.
9
.
C65M34
1985
19. Elements of practical performance modeling
پدیدآورنده : MacNair, Edward A
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Digital computer simulation,Congresses ، Electronic digital computers -- Evaluation
رده :
QA
76
.
9
.
C65
M34
1985
20. GI-NTG Fachtagung struktur und Betrieb von Recheusystemen, Braunschweig 20-22. 3. 1974 im Auftrag der GI und der NTG
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Electronic digital computers-- Evaluation-- Congresses
رده :
QA
76
.
6
.
G18
1974
